Lean (bewijsassistent)

nl

WikiRank.net
ver. 1.6

Lean (bewijsassistent)

Calidad:

Lean - demostrador de teoremas. Este lenguaje de programación es el 453º más popular en el ranking mundial de Wikipedia de lenguajes de programación y el 217º más popular lenguajes de programación en Wikipedia en holandés. El artículo "Lean (bewijsassistent)" en Wikipedia en holandés tiene 10.6 puntos por calidad (a 1 de agosto de 2024). El artículo contiene 0 referencias y 10 secciones.

Este artículo tiene la mejor calidad en Wikipedia en chino. Sin embargo, la versión lingüística más popular de este artículo es el inglés.

Logros en todo el tiempo:
Wikipedia en holandés:
Wikipedia global:
El 453º más popular en lenguajes de programación.

En julio de 2024 el artículo "Lean (bewijsassistent)" fue editado por 1 autores en Wikipedia en holandésy fue escrito por 4 autores en todos los idiomas.

Desde la creación del artículo "Lean (bewijsassistent)", , su contenido fue escrito por 2 usuarios registrados de Wikipedia en holandés fue editado por 98 usuarios registrados de Wikipedia en todos los idiomas.

Lean está en el 217º lugar en el ranking local de lenguajes de programación en Wikipedia en holandés y en el 453º lugar en el ranking mundial de lenguajes de programación en todo el tiempo.

La clasificación más alta de interés de los autores desde 2001:

  • Local (holandés): Nº 12242 en marzo de 2024
  • Global: Nº 28638 en junio de 2024

El rango de popularidad más alto de 2008:

  • Local (holandés): Nº 299450 en marzo de 2024
  • Global: Nº 160905 en julio de 2024

Hay 12 versiones lingüísticas de este artículo en la base de datos WikiRank (de las 55 ediciones de idiomas consideradas de Wikipedia).

La evaluación de calidad y popularidad se basó en volcados de Wikipedia del 1 de agosto de 2024 (incluido el historial de revisiones y las páginas vistas de años anteriores).

La siguiente tabla muestra las versiones lingüísticas del artículo con mayor calidad.

Idiomas con la máxima calidad

#IdiomaGrado de calidadPuntuación de calidad
1chino (zh)
Lean
44.1679
2inglés (en)
Lean (proof assistant)
39.2322
3japonés (ja)
Lean (証明アシスタント)
33.3528
4alemán (de)
Lean (Beweisassistent)
31.898
5español (es)
Lean
27.6817
6persa (fa)
لین (دستیار اثبات)
25.4167
7ucraniano (uk)
Lean
24.9286
8ruso (ru)
Lean
21.4148
9vietnamita (vi)
Lean (trợ lý chứng minh)
13.5515
10holandés (nl)
Lean (bewijsassistent)
10.554
Más...

La siguiente tabla muestra las versiones de idiomas más populares del artículo.

El más popular de todos los tiempos

Las versiones lingüísticas más populares del artículo "Lean (bewijsassistent)" en todos los tiempos
#IdiomaPremio de popularidadRelative popularity
1inglés (en)
Lean (proof assistant)
198 539
2ruso (ru)
Lean
7 610
3francés (fr)
Lean (assistant de preuve)
5 505
4japonés (ja)
Lean (証明アシスタント)
5 106
5alemán (de)
Lean (Beweisassistent)
1 729
6español (es)
Lean
808
7chino (zh)
Lean
355
8ucraniano (uk)
Lean
323
9checo (cs)
Lean (programovací jazyk)
251
10vietnamita (vi)
Lean (trợ lý chứng minh)
182
Más...

La siguiente tabla muestra las versiones lingüísticas del artículo con mayor popularidad en el último mes.

Más popular en julio de 2024

Las versiones lingüísticas más populares del artículo "Lean (bewijsassistent)" en julio de 2024
#IdiomaPremio de popularidadRelative popularity
1inglés (en)
Lean (proof assistant)
11 293
2japonés (ja)
Lean (証明アシスタント)
654
3alemán (de)
Lean (Beweisassistent)
561
4ruso (ru)
Lean
330
5chino (zh)
Lean
226
6francés (fr)
Lean (assistant de preuve)
163
7español (es)
Lean
110
8checo (cs)
Lean (programovací jazyk)
15
9holandés (nl)
Lean (bewijsassistent)
15
10vietnamita (vi)
Lean (trợ lý chứng minh)
14
Más...

La siguiente tabla muestra las versiones de idiomas del artículo con mayor Interés de los Autores.

El mayor IA

Versiones lingüísticas del artículo "Lean (bewijsassistent)" con mayor IA. Solo se contaron los usuarios de Wikipedia registrados.
#IdiomaPremio del IAIA relativo
1inglés (en)
Lean (proof assistant)
53
2francés (fr)
Lean (assistant de preuve)
9
3alemán (de)
Lean (Beweisassistent)
8
4ruso (ru)
Lean
8
5japonés (ja)
Lean (証明アシスタント)
7
6español (es)
Lean
3
7vietnamita (vi)
Lean (trợ lý chứng minh)
3
8holandés (nl)
Lean (bewijsassistent)
2
9ucraniano (uk)
Lean
2
10checo (cs)
Lean (programovací jazyk)
1
Más...

La siguiente tabla muestra las versiones de idiomas del artículo con mayor Interés de los Autores en el último mes.

El mayor IA en julio de 2024

Versiones lingüísticas del artículo "Lean (bewijsassistent)" con mayor IA en julio de 2024
#IdiomaPremio del IAIA relativo
1inglés (en)
Lean (proof assistant)
1
2español (es)
Lean
1
3japonés (ja)
Lean (証明アシスタント)
1
4holandés (nl)
Lean (bewijsassistent)
1
5checo (cs)
Lean (programovací jazyk)
0
6alemán (de)
Lean (Beweisassistent)
0
7persa (fa)
لین (دستیار اثبات)
0
8francés (fr)
Lean (assistant de preuve)
0
9ruso (ru)
Lean
0
10ucraniano (uk)
Lean
0
Más...

La siguiente tabla muestra las versiones lingüísticas del artículo con mayor número de citas.

El Índice de Citas más alto.

Versiones lingüísticas del artículo "Lean (bewijsassistent)" con el Índice de Citas (IC) más alto
#IdiomaPremio del ICIC relativo
1inglés (en)
Lean (proof assistant)
344
2ruso (ru)
Lean
75
3chino (zh)
Lean
34
4francés (fr)
Lean (assistant de preuve)
7
5japonés (ja)
Lean (証明アシスタント)
5
6checo (cs)
Lean (programovací jazyk)
3
7alemán (de)
Lean (Beweisassistent)
3
8español (es)
Lean
3
9ucraniano (uk)
Lean
2
10persa (fa)
لین (دستیار اثبات)
0
Más...

Puntuaciones

Valor estimado para Wikipedia:
holandés:
Global:
Popularidad en julio de 2024:
holandés:
Global:
Popularidad en todos los años:
holandés:
Global:
Autores en julio de 2024:
holandés:
Global:
Autores registrados en todos los años:
holandés:
Global:
Citas:
holandés:
Global:

Medidas de calidad

Enlaces interlingüísticos

#IdiomaValor
cscheco
Lean (programovací jazyk)
dealemán
Lean (Beweisassistent)
eninglés
Lean (proof assistant)
esespañol
Lean
fapersa
لین (دستیار اثبات)
frfrancés
Lean (assistant de preuve)
jajaponés
Lean (証明アシスタント)
nlholandés
Lean (bewijsassistent)
ruruso
Lean
ukucraniano
Lean
vivietnamita
Lean (trợ lý chứng minh)
zhchino
Lean

Tendencias en el ranking de popularidad

Mejor rango holandés:
Nº 299450
03.2024
Global:
Nº 160905
07.2024

Tendencias de clasificación de IA

Mejor rango holandés:
Nº 12242
03.2024
Global:
Nº 28638
06.2024

Comparación de idiomas

Interconexiones globales importantes

Resultados acumulados de calidad y popularidad del artículo de Wikipedia

Lista de artículos de Wikipedia en diferentes idiomas (empezando por el más popular):

ru: Lean
es: Lean
zh: Lean
uk: Lean

Noticias del 6 de noviembre de 2024

El 6 de noviembre de 2024 en Wikipedia multilingüe, los internautas leen con mayor frecuencia artículos sobre los siguientes temas: Donald Trump, elecciones presidenciales de Estados Unidos de 2024, Kamala Harris, elecciones presidenciales de Estados Unidos de 2020, Colegio Electoral de los Estados Unidos, presidente de los Estados Unidos, elecciones presidenciales de Estados Unidos de 2016, Melania Trump, lista de presidentes de los Estados Unidos, Joe Biden.

En Wikipedia en holandés los artículos más populares de ese día fueron: Donald Trump, Melania Trump, Lijst van presidenten van de Verenigde Staten, Amerikaanse presidentsverkiezingen 2024, President van de Verenigde Staten, Amerikaanse presidentsverkiezingen 2020, Kamala Harris, Kiescollege (Verenigde Staten), Project 2025, J.D. Vance.

Acerca de WikiRank

El proyecto está destinado a la evaluación relativa automática de los artículos en las distintas versiones lingüísticas de Wikipedia. Actualmente, el servicio permite comparar más de 44 millones de artículos de Wikipedia en 55 idiomas. Los niveles de calidad de los artículos se basan en volcados de Wikipedia de agosto de 2024. Al calcular la popularidad actual y la IA de los artículos, se tuvieron en cuenta los datos de julio de 2024. Para los valores históricos de popularidad y AI WikiRank utilizó datos de 2001 a 2023... Más información